Autori: Zhu Huibiao
| Naslov | Complete Formal Verification of the PSTM Transaction Scheduler (Article) |
| Autori | Popovic Miroslav V  Popovic Marko M Kordic Branislav A Zhu Huibiao
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2023), vol. 20 br. 1, str. 307-327 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [451-03-68/2020-14/200156]; "Digital Silk Road" Shanghai International Joint Lab of Trustworthy Intelligent Software [22510750100] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
     |
| Naslov | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP (Proceedings Paper) |
| Autori | Li Peimu Yin Jiaqi Zhu Huibiao Xiao Lili Popovic Miroslav V
|
| Info | 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), (2022), vol. br. , str. 872-877 |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145, 62032024]; Shanghai Trusted Industry Internet Software Collaborative Innovation Center; Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University) |
| Ispravka | Web of Science Članak Citati: Web of Science Scopus |
|
|
| Naslov | Formal analysis and verification of the PSTM architecture using CSP (Article) |
| Autori | Liu Ailun Zhu Huibiao Popovic Miroslav V Xiang Shuangqing Zhang Lei
|
| Info | JOURNAL OF SYSTEMS AND SOFTWARE, (2020), vol. 165 br. , str. - |
| Projekat | National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP (Proceedings Paper) |
| Autori | Xu Chao Wu Xi Zhu Huibiao Popovic Miroslav V
|
| Info | 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), (2019), vol. br. , str. 240-247 |
| Projekat | National Natural Science Foundation of China [61872145]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213] |
| Ispravka | Web of Science Članak Citati: Web of Science Scopus |
|
|
| Naslov | Formalization and Verification of the PSTM Architecture (Proceedings Paper) |
| Autori | Liu Ailun Popovic Miroslav V Zhu Huibiao
|
| Info | 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), (2017), vol. br. , str. 427-435 |
| Projekat | Ministry of Education, Science and Technology Development of Republic of Serbia [TR-32031]; Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213] |
| Ispravka | Web of Science Članak Citati: Web of Science Scopus |
|
|
